George Candea: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing

Zhang, Bin, Feng, Chao, Herrera, Adrian, Chipounov, Vitaly, Candea, George, Tang, Chaojing

Journal:

Year:

2018

Language:

english

File:

PDF, 3.12 MB

english, 2018

2

[ACM Press the 5th European conference - Paris, France (2010.04.13-2010.04.16)] Proceedings of the 5th European conference on Computer systems - EuroSys '10 - Reverse engineering of binary device drivers with RevNIC

Chipounov, Vitaly, Candea, George

Year:

2010

Language:

english

File:

PDF, 492 KB

english, 2010

3

Improving availability with recursive microreboots: a soft-state system case study

George Candea, James Cutler, Armando Fox

Journal:

Performance Evaluation

Year:

2004

Language:

english

File:

PDF, 506 KB

english, 2004

4

Predictable performance and high query concurrency for data analytics

George Candea, Neoklis Polyzotis, Radek Vingralek

Journal:

The VLDB Journal

Year:

2011

Language:

english

File:

PDF, 970 KB

english, 2011

5

Autonomous recovery in componentized Internet applications

George Candea, Emre Kiciman, Shinichi Kawamoto, Armando Fox

Journal:

Cluster Computing

Year:

2006

Language:

english

File:

PDF, 571 KB

english, 2006

6

[ACM Press the 7th ACM european conference - Bern, Switzerland (2012.04.10-2012.04.13)] Proceedings of the 7th ACM european conference on Computer Systems - EuroSys '12 - Fast black-box testing of system recovery code

Banabic, Radu, Candea, George

Year:

2012

Language:

english

File:

PDF, 990 KB

english, 2012

7

Efficient Testing of Recovery Code Using Fault Injection

Marinescu, Paul D., Candea, George

Journal:

ACM Transactions on Computer Systems

Year:

2011

Language:

english

File:

PDF, 736 KB

english, 2011

8

[ACM Press the 4th Asia-Pacific Workshop - Singapore, Singapore (2013.07.29-2013.07.30)] Proceedings of the 4th Asia-Pacific Workshop on Systems - APSys '13 - Making automated testing of cloud applications an integral component of PaaS

Bucur, Stefan, Kinder, Johannes, Candea, George

Year:

2013

Language:

english

File:

PDF, 149 KB

english, 2013

9

The S2E Platform

Chipounov, Vitaly, Kuznetsov, Volodymyr, Candea, George

Journal:

ACM Transactions on Computer Systems

Year:

2012

Language:

english

File:

PDF, 1.41 MB

english, 2012

10

The Tests-versus-Proofs Conundrum

Journal:

IEEE Security & Privacy Magazine

Year:

2014

Language:

english

File:

PDF, 259 KB

english, 2014

11

Cloud9

Ciortea, Liviu, Zamfir, Cristian, Bucur, Stefan, Chipounov, Vitaly, Candea, George

Journal:

ACM SIGOPS Operating Systems Review

Year:

2010

Language:

english

File:

PDF, 264 KB

english, 2010

12

[ACM Press the 1st ACM symposium - Indianapolis, Indiana, USA (2010.06.10-2010.06.11)] Proceedings of the 1st ACM symposium on Cloud computing - SoCC '10 - Automated software testing as a service

Candea, George, Bucur, Stefan, Zamfir, Cristian

Year:

2010

Language:

english

File:

PDF, 379 KB

english, 2010

13

[IEEE Networks (DSN) - Hong Kong, China (2011.06.27-2011.06.30)] 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) - Communix: A framework for collaborative deadlock immunity

Jula, Horatiu, Tozun, Pinar, Candea, George

Year:

2011

Language:

english

File:

PDF, 162 KB

english, 2011

14

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - Reconstructing Core Dumps

Rossler, Jeremias, Zeller, Andreas, Fraser, Gordon, Zamfir, Cristian, Candea, George

Year:

2013

Language:

english

File:

PDF, 259 KB

english, 2013

15

[IEEE 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN) - Anchorage, AK (2008.06.24-2008.06.27)] 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN) - ConfErr: A tool for assessing resilience to human configuration errors

Keller, Lorenzo, Upadhyaya, Prasang, Candea, George

Year:

2008

Language:

english

File:

PDF, 2.01 MB

english, 2008

16

[IEEE 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W) - Hong Kong, China (2011.06.27-2011.06.30)] 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W) - Exterminating bugs via collective information recycling

Year:

2011

Language:

english

File:

PDF, 986 KB

english, 2011

17

[IEEE 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W) - Hong Kong, China (2011.06.27-2011.06.30)] 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W) - Platform-wide deadlock immunity for mobile phones

Jula, Horatiu, Rensch, Thomas, Candea, George

Year:

2011

Language:

english

File:

PDF, 950 KB

english, 2011

18

[IEEE Networks (DSN) - Lisbon, Portugal (2009.06.29-2009.07.2)] 2009 IEEE/IFIP International Conference on Dependable Systems & Networks - LFI: A practical and general library-level fault injector

Marinescu, Paul D., Candea, George

Year:

2009

Language:

english

File:

PDF, 207 KB

english, 2009

19

[IEEE 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W) - Hong Kong, China (2011.06.27-2011.06.30)] 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W) - Automated vulnerability discovery in distributed systems

Banabic, Radu, Candea, George, Guerraoui, Rachid

Year:

2011

Language:

english

File:

PDF, 1.21 MB

english, 2011

20

[IEEE Networks (DSN) - Hong Kong, China (2011.06.27-2011.06.30)] 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) - WaRR: A tool for high-fidelity web application record and replay

Andrica, Silviu, Candea, George

Year:

2011

Language:

english

File:

PDF, 231 KB

english, 2011

21

[IEEE 2007 IEEE 23rd International Conference on Data Engineering Workshop - Istanbul, Turkey (2007.04.17-2007.04.20)] 2007 IEEE 23rd International Conference on Data Engineering Workshop - Toward Self-Healing Multitier Services

Cook, Brian, Babu, Shivnath, Candea, George, Duan, Songyun

Year:

2007

Language:

english

File:

PDF, 278 KB

english, 2007

22

[IEEE 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W) - Hong Kong, China (2011.06.27-2011.06.30)] 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W) - Enabling sophisticated analyses of ×86 binaries with RevGen

Chipounov, Vitaly, Candea, George

Year:

2011

Language:

english

File:

PDF, 951 KB

english, 2011

23

[IEEE Networks (DSN) - Chicago, IL, USA (2010.06.28-2010.07.1)] 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN) - Studying application-library interaction and behavior with LibTrac

Bisolfati, Eric, Marinescu, Paul, Candea, George

Year:

2010

Language:

english

File:

PDF, 790 KB

english, 2010

24

[ACM Press the 5th European conference - Paris, France (2010.04.13-2010.04.16)] Proceedings of the 5th European conference on Computer systems - EuroSys '10 - Execution synthesis

Zamfir, Cristian, Candea, George

Year:

2010

Language:

english

File:

PDF, 412 KB

english, 2010

25

Elaboration of Titanium-Nickel Alloy with Special Properties through Mechanical Milling

Gligor, Ionuţ, Cândea, Viorel, Arghir, George, Popa, Cătălin

Journal:

Materials Science Forum

Year:

2011

Language:

english

File:

PDF, 394 KB

english, 2011

26

Research on the Intermetallic Compounds Formation in a Ni-Ti Alloy Obtained through Powder Metallurgy Specific Methods

Cândea, Viorel, Arghir, George, Popa, Cătălin, Gligor, Ionuţ, Popa, Angela, Batin, Gabriel

Journal:

Materials Science Forum

Year:

2011

Language:

english

File:

PDF, 643 KB

english, 2011

27

Automated Classification of Data Races Under Both Strong and Weak Memory Models

Kasikci, Baris, Zamfir, Cristian, Candea, George

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2015

Language:

english

File:

PDF, 1.95 MB

english, 2015

28

[ACM Press the 2008 ACM SIGMOD international conference - Vancouver, Canada (2008.06.09-2008.06.12)] Proceedings of the 2008 ACM SIGMOD international conference on Management of data - SIGMOD '08 - Middleware-based database replication

Cecchet, Emmanuel, Candea, George, Ailamaki, Anastasia

Year:

2008

Language:

english

File:

PDF, 345 KB

english, 2008

29

S2E

Chipounov, Vitaly, Kuznetsov, Volodymyr, Candea, George

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 599 KB

english, 2012

30

[ACM Press the 10th workshop - Saint-Emilion, France (2002.07.01-2002.07.01)] Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC - EW10 - A utility-centered approach to building dependable infrastructure services

Candea, George, Fox, Armando

Year:

2002

Language:

english

File:

PDF, 101 KB

english, 2002

31

[ACM Press the sixth conference - Salzburg, Austria (2011.04.10-2011.04.13)] Proceedings of the sixth conference on Computer systems - EuroSys '11 - Parallel symbolic execution for automated real-world software testing

Bucur, Stefan, Ureche, Vlad, Zamfir, Cristian, Candea, George

Year:

2011

Language:

english

File:

PDF, 571 KB

english, 2011

32

[ACM Press the 7th ACM european conference - Bern, Switzerland (2012.04.10-2012.04.13)] Proceedings of the 7th ACM european conference on Computer Systems - EuroSys '12 - Scalable testing of file system checkers

Carreira, João Carlos Menezes, Rodrigues, Rodrigo, Candea, George, Majumdar, Rupak

Year:

2012

Language:

english

File:

PDF, 885 KB

english, 2012

33

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Efficient state merging in symbolic execution

Kuznetsov, Volodymyr, Kinder, Johannes, Bucur, Stefan, Candea, George

Year:

2012

Language:

english

File:

PDF, 407 KB

english, 2012

34

[ACM Press the 19th international conference - Salt Lake City, Utah, USA (2014.03.01-2014.03.05)] Proceedings of the 19th international conference on Architectural support for programming languages and operating systems - ASPLOS '14 - Prototyping symbolic execution engines for interpreted languages

Bucur, Stefan, Kinder, Johannes, Candea, George

Year:

2014

Language:

english

File:

PDF, 935 KB

english, 2014

35

[ACM Press the seventeenth international conference - London, England, UK (2012.03.03-2012.03.07)] Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '12 - Data races vs. data race bugs

Kasikci, Baris, Zamfir, Cristian, Candea, George

Year:

2012

Language:

english

File:

PDF, 598 KB

english, 2012

36

[ACM Press the sixteenth international conference - Newport Beach, California, USA (2011.03.05-2011.03.11)] Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems - ASPLOS '11 - S2E

Chipounov, Vitaly, Kuznetsov, Volodymyr, Candea, George

Year:

2011

Language:

english

File:

PDF, 599 KB

english, 2011

37

[ACM Press the Twenty-Fourth ACM Symposium - Farminton, Pennsylvania (2013.11.03-2013.11.06)] Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles - SOSP '13 - RaceMob

Kasikci, Baris, Zamfir, Cristian, Candea, George

Year:

2013

Language:

english

File:

PDF, 348 KB

english, 2013

38

[ACM Press the 19th international conference - Salt Lake City, Utah, USA (2014.03.01-2014.03.05)] Proceedings of the 19th international conference on Architectural support for programming languages and operating systems - ASPLOS '14 - Finding trojan message vulnerabilities in distributed systems

Banabic, Radu, Candea, George, Guerraoui, Rachid

Year:

2014

Language:

english

File:

PDF, 662 KB

english, 2014

39

[ACM Press the 25th Symposium - Monterey, California (2015.10.04-2015.10.07)] Proceedings of the 25th Symposium on Operating Systems Principles - SOSP '15 - Failure sketching

Kasikci, Baris, Schubert, Benjamin, Pereira, Cristiano, Pokam, Gilles, Candea, George

Year:

2015

Language:

english

File:

PDF, 902 KB

english, 2015

40

[IEEE 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W) - Budapest, Hungary (2013.06.24-2013.06.27)] 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W) - Message from the DCCS program chair

Year:

2013

Language:

english

File:

PDF, 70 KB

english, 2013

41

S2E

Chipounov, Vitaly, Kuznetsov, Volodymyr, Candea, George

Journal:

ACM SIGARCH Computer Architecture News

Year:

2011

Language:

english

File:

PDF, 599 KB

english, 2011

42

S2E

Chipounov, Vitaly, Kuznetsov, Volodymyr, Candea, George

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 599 KB

english, 2011

43

Data races vs. data race bugs

Kasikci, Baris, Zamfir, Cristian, Candea, George

Journal:

ACM SIGARCH Computer Architecture News

Year:

2012

Language:

english

File:

PDF, 598 KB

english, 2012

44

[IEEE 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Budapest, Hungary (2013.06.24-2013.06.27)] 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Message from the DCCS program chair

Year:

2013

Language:

english

File:

PDF, 70 KB

english, 2013

45

A scalable, predictable join operator for highly concurrent data warehouses

Candea, George, Polyzotis, Neoklis, Vingralek, Radek

Journal:

Proceedings of the VLDB Endowment

Year:

2009

Language:

english

File:

PDF, 739 KB

english, 2009

46

Efficient state merging in symbolic execution

Kuznetsov, Volodymyr, Kinder, Johannes, Bucur, Stefan, Candea, George

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 407 KB

english, 2012

47

[ACM Press the 2018 Afternoon Workshop - Budapest, Hungary (2018.08.20-2018.08.20)] Proceedings of the 2018 Afternoon Workshop on Kernel Bypassing Networks - KBNets'18 - A Formally Verified NAT Stack

Pirelli, Solal, Zaostrovnykh, Arseniy, Candea, George

Year:

2018

Language:

english

File:

PDF, 558 KB

english, 2018

48

A formally verified NAT stack

Pirelli, Solal, Zaostrovnykh, Arseniy, Candea, George

Journal:

ACM SIGCOMM Computer Communication Review

Year:

2019

Language:

english

File:

PDF, 972 KB

english, 2019

49

Association Analysis of TP53 rs1042522, MDM2 rs2279744, rs3730485, MDM4 rs4245739 Variants and Acute Myeloid Leukemia Susceptibility, Risk Stratification Scores, and Clinical Features: An Exploratory Study

Tripon, Florin, Iancu, Mihaela, Trifa, Adrian, Crauciuc, George Andrei, Boglis, Alina, Balla, Beata, Cosma, Adriana, Dima, Delia, Candea, Marcela, Lazar, Erzsebet, Jimbu, Laura, Banescu, Claudia

Journal:

Journal of Clinical Medicine

Year:

2020

File:

PDF, 651 KB

2020